1. A 25-Year Perspective on Logic Programmin
Author: / edited by Agostino Dovier, Enrico Pontelli
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Information theory.,Logic design.,Artificial intelligence.
2. Algebraic and Logic Programming :
Author: edited by Michael Hanus, Mario Rodríguez-Artalejo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
3. Argumentation Machines :
Author: edited by Chris Reed, Timothy J. Norman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
4. Artificial Intelligence in Logic Design
Author: by Svetlana N. Yanushkevich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
5. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
6. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
7. Automated Deduction -- Cade-13 :
Author: edited by M.A. McRobbie, J.K. Slaney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
8. Automated Mathematical Induction
Author: edited by Hantao Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
Classification :
QA76
.
9
.
A96
E358
1996
9. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
10. Beyond Two: Theory and Applications of Multiple-Valued Logic
Author: edited by Melvin Fitting, Ewa Orłowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computer science.,Logic design.
11. Biomimetic and Biohybrid Systems :
Author: edited by Uriel Martinez-Hernandez, Vasiliki Vouloutsi, Anna Mura, Michael Mangan, Minoru Asada, Tony J. Prescott, Paul F.M.J. Verschure.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer network architectures.,Computer science.,Computer vision.,Logic design.,Operating systems (Computers),Artificial intelligence-- Biological applications.,Biomimicry.,Natural computation.,Operating systems (Computers)
Classification :
T173
.
8
.
L58
2019
12. Clausal form logic : an introduction to the logic of computer reasoning
Author: Richards, Tom.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
Classification :
QA
76
.
76
.
E95R53
1989
13. Coditional inference and logic for interlligent systems
Author: / I.R. Goodman, H.T. Nguyen and E.A. Walker
Library: Library of Economics (Tehran)
Subject: Expert systems (computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95G67
1991
14. Computational Logic :
Author: edited by John W. Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
9
.
A96
E358
1990
15. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
16. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
17. Current trends on knowledge-based systems
Author:
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining
Classification :
QA76
.
76
.
E95
C8
2017
18. Current trends on knowledge-based systems
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
006
.
3
C976
2017
21
19. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
20. Developments in Language Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
